Compositional states

Hierarchical states in the Compositional Interchange Format

CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems. To facilitate the top-down development of a hybrid system and also to be able to express models more succinctly in the CIF formalism, we need a mechanism for stepwise refinement. In this pap...

A Compositional Characterization of Multipartite Quantum States

The primary aim of this work is to study the compositional characterization of multipartite quantum states in an abstract setting of commutative Frobenius algebras expressed internal to symmetric monoidal categories. This work is based on the compositional structure of multipartite quantum entanglement established by Bob Coecke and Aleks Kissinger in [11]. The two SLOCC classes of tripartite en...

Compositional C++: Compositional Parallel Programming

A compositional parallel program is a program constructed by composing component programs in parallel where the composed pro gram inherits properties of its components In this paper we describe a small extension of C called Compositional C or CC which is an object oriented notation that supports compositional parallel programming CC integrates di erent paradigms of parallel pro gramming data pa...

Compositional evolution of Bi-induced acceptor states in GaAs1−xBix alloy

Open Markov Processes: A Compositional Perspective on Non-Equilibrium Steady States in Biology

In recent work, Baez, Fong and the author introduced a framework for describing Markov processes equipped with a detailed balanced equilibrium as open systems of a certain type. These “open Markov processes” serve as the building blocks for more complicated processes. In this paper, we describe the potential application of this framework in the modeling of biological systems as open systems mai...